Solving Equation Systems by Agreeing and Learning
نویسندگان
چکیده
We study sparse non-linear equation systems defined over a finite field. Representing the equations as symbols and using the Agreeing algorithm we show how to learn and store new knowledge about the system when a guess-and-verify technique is used for solving. Experiments are then presented, showing that our solving algorithm compares favorably to MiniSAT in many instances.
منابع مشابه
Methods to Solve Algebraic Equations in Cryptanalysis
The goal of the present paper is a survey of methods to solve equation systems common in cryptanalysis. The methods depend on the equation representation and fall into three categories: Gröbner basis algorithms, SAT-solving methods and Agreeing-Gluing algorithms.
متن کاملThe spectral iterative method for Solving Fractional-Order Logistic Equation
In this paper, a new spectral-iterative method is employed to give approximate solutions of fractional logistic differential equation. This approach is based on combination of two different methods, i.e. the iterative method cite{35} and the spectral method. The method reduces the differential equation to systems of linear algebraic equations and then the resulting systems are solved by a numer...
متن کاملApplication of He's homotopy perturbation method for solving Sivashinsky equation
In this paper, the solution of the evolutionaryfourth-order in space, Sivashinsky equation is obtained by meansof homotopy perturbation method (textbf{HPM}). The results revealthat the method is very effective, convenient and quite accurateto systems of nonlinear partial differential equations.
متن کاملA New Two-stage Iterative Method for Linear Systems and Its Application in Solving Poisson's Equation
In the current study we investigate the two-stage iterative method for solving linear systems. Our new results shows which splitting generates convergence fast in iterative methods. Finally, we solve the Poisson-Block tridiagonal matrix from Poisson's equation which arises in mechanical engineering and theoretical physics. Numerical computations are presented based on a particular linear system...
متن کاملSolving Fuzzy Equations Using Neural Nets with a New Learning Algorithm
Artificial neural networks have the advantages such as learning, adaptation, fault-tolerance, parallelism and generalization. This paper mainly intends to offer a novel method for finding a solution of a fuzzy equation that supposedly has a real solution. For this scope, we applied an architecture of fuzzy neural networks such that the corresponding connection weights are real numbers. The ...
متن کامل